My title

نویسندگان

  • Lorenzo Clemente
  • Pawel Parys
  • Sylvain Salvati
  • Igor Walukiewicz
چکیده

A non-deterministic recursion scheme recognizes a language of finite trees. This very expressive model can simulate, among others, higher-order pushdown automata with collapse. We show decidability of the diagonal problem for schemes. This result has several interesting consequences. In particular, it gives an algorithm that computes the downward closure of languages of words recognized by schemes. In turn, this has immediate application to separability problems and reachability analysis of concurrent systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

تب خال حاملگی

This paper is by Terry Kemp. She is a midwife with 10 years record of service. In this paper she speaks about her own experience which had burdened her in that condition. Herpes gestation is a rare condition and has been defined in books related to autoimmune gestation disease. If your reaction after reading the title of this paper was just shrugging your shoulders and accepting it as a viral i...

متن کامل

Wiley Encyclopedia of Electrical and Electronics Engineering Reconfigurable Computing

Reconfigurable Computing : Wiley Encyclopedia of Electric... http://www.mrw.interscience.wiley.com/emrw/9780471346081/eeee/ar... 1 of 1 7/9/2007 2:38 PM My Profile Log In Recommend to Your Librarian Save title to My Profile

متن کامل

Evaluating Human Neural Tuning Curves From a Mechanical Model of the Cochlea by Relating Them to Psychophysical Masking Data

Human neural threshold tuning curves are estimated by scaling the parameters of Allen's [1] resonant tectorial membrane model of the cat cochlea. A way to evaluate the derived tuning curves using psychophysical data is developed, based on a psychophysical detection model which relates the physiological tuning curves to psychophysical masking data. A detection criterion, defined by a relationshi...

متن کامل

Does this study make my aorta look fat?

Running title: Kinlay; Does this study make my aorta look fat? Ca Ca Card rd rdio io iova a vasc sc scul l ular ar ar D D Div i ivis is isio io ion n n

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016